<?php

function isCurrentPage( $thisPage, $page )
{
	echo strcmp( $thisPage, $page ) == 0 ? ' class="active"' : '';
}